Runtime verification - PDFSEARCH.IO - Document Search Engine

Runtime verification
Results: 98

#	Item
41	polyL�ʀ��: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries Christian Colombo1 , Adrian Francalanza1 , Ruth Mizzi1 , and Gordon J. Pace1 Department of Computer Science, University of Mal Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2012-06-22 11:00:11
42	Parametric Identification of Temporal Properties [.3cm] - 2nd International Conference on Runtime Verification, September 28th, 2011 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-10-17 07:14:54
43	Extensible Technology Agnostic Runtime Verification Christian Colombo Adrian Francalanza Ruth Mizzi Add to Reading List Source URL: www.cs.um.edu.mt Language: English - Date: 2013-02-12 05:38:14
44	Automatic Generation of Object Usage Specifications from Large Method Traces Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2009-09-02 13:08:00 Software engineering Computing Computer programming Object-oriented programming languages Programming paradigms Concurrent programming languages Functional languages Aspect-oriented software development Runtime verification Objective-C Iterator Java
45	PDF Document Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2012-04-04 14:13:24 Software testing Software engineering Computing Theoretical computer science Application programming interface Runtime verification Test automation Software bug Unit testing MAPI Type system Random testing
46	Runtime Verification with State Estimation Appears in the proceedings of the 2nd International Conference on Runtime Verification (RVScott D. Stoller1 , Ezio Bartocci2 , Justin Seyster1 , Radu Grosu1 , Klaus Havel Add to Reading List Source URL: www.fsl.cs.sunysb.edu Language: English - Date: 2011-10-04 15:26:35
47	Foundations of Boolean Stream Runtime Verification? (Extended Version) Laura Bozzelli1 and C´esar S´anchez2,3 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07
48	From Runtime Verification to Evolvable Systems Howard Barringer1, Dov Gabbay2 , and David Rydeheard1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk - Date: 2007-05-25 11:38:03
49	Runtime Verification of Log Files, a Trojan Horse for Formal Methods? Howard Barringer1 , Alex Groce3 , Klaus Havelund2 , David Rydeheard1 , and Margaret Smith2 1 Add to Reading List Source URL: havelund.com Language: English - Date: 2009-12-15 17:05:51
50	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-02 06:11:57 Automata theory Formal languages Logic in computer science Runtime verification Design Finite-state machine Regular expression C Sharp Pattern Computing Software engineering Theoretical computer science

UPDATE